Subresultants Under Composition
نویسنده
چکیده
It is a well known fact that the resultants are invariant under translation. We extend this fact to arbitrary composition (where a translation is a particular composition with a linear monic polynomial), and to arbitrary subresultants (where the resultant is the 0-th subresultant).
منابع مشابه
An elementary approach to subresultants theory
In this paper we give an elementary approach to univariate polynomial subresultants theory. Most of the known results of subresultants are recovered, some with more precision, without using Euclidean divisions or existence of roots for univariate polynomials. The main contributions of this paper are not new results on subresultants, but rather extensions of the main results over integral rings ...
متن کاملSubresultants in Recursive Polynomial Remainder Sequence
We introduce concepts of “recursive polynomial remainder sequence (PRS)” and “recursive subresultant,” and investigate their properties. In calculating PRS, if there exists the GCD (greatest common divisor) of initial polynomials, we calculate “recursively” with new PRS for the GCD and its derivative, until a constant is derived. We call such a PRS a recursive PRS. We define recursive subresult...
متن کاملA Note on Subresultants and the Lazard/Rioboo/Trager Formula in Rational Function Integration
An ambiguity in a formula of Lazard, Rioboo and Trager, connecting subresultants and rational function integration, is indicated and examples of incorrect interpretations are given.
متن کاملResultants and subresultants of p-adic polynomials
We address the problem of the stability of the computations of resultants and subresultants of polynomials defined over complete discrete valuation rings (e.g. Zp or k[[t]] where k is a field). We prove that Euclide-like algorithms are highly unstable on average and we explain, in many cases, how one can stabilize them without sacrifying the complexity. On the way, we completely determine the d...
متن کاملProving Formally the Implementation of an Efficient gcd Algorithm for Polynomials
We describe here a formal proof in the Coq system of the structure theorem for subresultants, which allows to prove formally the correctness of our implementation of the subresultants algorithm. Up to our knowledge it is the first mechanized proof of this result.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 23 شماره
صفحات -
تاریخ انتشار 1997